$\forall$$w$:World, $a$, $b$:E. FairFifo $\Rightarrow$ (w\_locl($w$;$a$;$b$) $\Leftarrow\!\Rightarrow$ (loc($a$) = loc($b$) $\in$ Id \& $a$ $<$ $b$))